#include "shell_ports.h"
#include "hal_tty.h"

 SHELL_TypeDef g_shell_;

 void shell_init() {
     g_shell_.write = g_tty_.write;
     shellInit(&g_shell_);
 }

